home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 9525 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  4.2 KB
  1. Path: news.clark.net!not-for-mail
  2. From: gusty@clark.net (Harlan Messinger)
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: C++ OO question (long)
  5. Date: 28 Feb 1996 21:59:11 GMT
  6. Organization: Clark Internet Services, Inc., Ellicott City, MD USA
  7. Message-ID: <4h2j7f$nek@clarknet.clark.net>
  8. References: <4h08uq$mve@madeline.INS.CWRU.Edu>
  9. NNTP-Posting-Host: explorer.clark.net
  10. Mime-Version: 1.0
  11. Content-Type: TEXT/PLAIN; charset=ISO-8859-1
  12. Content-Transfer-Encoding: 8bit
  13. X-Newsreader: TIN [UNIX 1.3 950726BETA PL0]
  14.  
  15. Bryan Murphy (bf461@cleveland.Freenet.Edu) wrote:
  16. : 
  17. : 
  18. : Bellow is the program I wrote.  It implements a class called 
  19. : Matrix, which allocates memory on the heap for the storage of
  20. : a matrix of XxY dimensions.  It also implements a copy constructor
  21. : for assignment, and a couple of different mathematical operations
  22. : to be performed on the matrix.
  23.  
  24. "Implements a copy constructor for assignment": this is the answer to 
  25. problem 1. Copy construction and assignment are separate operations. Even 
  26. though
  27.  
  28.     Matrix M3 = M1 * M2;
  29.  
  30. looks like assignment, it is instead a constructor invocation equivalent to
  31.  
  32.     Matrix M3(M1 * M2);
  33.  
  34. and will use your copy constructor, which apparently works.
  35.  
  36. When instead you have the following:
  37.  
  38.     Matrix M3;
  39.     M3 = M1 * M2;
  40.  
  41. the second line IS an assignment. But you haven't defined an assignment 
  42. operator for your Matrix class. It happens that assignment, along with 
  43. the empty copy constructor and the destructor, is an operation that the 
  44. compiler will define by default if you don't provide a member function 
  45. for it explicitly. But what the default assignment operator does is a 
  46. member-by-member assignment.
  47.  
  48. Let's look at what you're assigning to M3. It's a temporary Matrix that 
  49. is the product of M1 and M2. Let's call it MT. MT has a member called 
  50. MatrixData that points to an array that was dynamically allocated by the 
  51. operator * function. However, only the pointer is a _member_ of MT. The 
  52. matrix elements are in an allocated buffer somewhere out in space.
  53.  
  54. Assigning MT to M3 by default sets M3.xdim = MT.xdim and M3.ydim = 
  55. MT.ydim. No problem there. But then it sets M3.MatrixData = 
  56. MT.MatrixData. In other words, M3 now has a pointer that points to the 
  57. same buffer that MT points to. It hasn't allocated a buffer of its own.
  58.  
  59. Once the assignment is finished, MT, being a temporary, disappears. Since 
  60. you've provided a proper destructor, MT's destructor deletes 
  61. MT.MatrixData, sending it back to the heap. But M3.MatrixData was 
  62. pointing to the same array! Which means that M3.MatrixData is now 
  63. pointing to garbage. And your program blows up.
  64.  
  65. You can either:
  66.  
  67.     1. Rely on the default assignment operator, but instead of
  68.         having MatrixData be a pointer to a dynamically
  69.         allocated block of memory, have it BE (not point to)
  70.         array-type (a.k.a. vector) class whose constructor and 
  71.         destructor take care of allocation and deallocation 
  72.         automatically, and that has its own assignment operator. 
  73.         Have the constructor of Matrix initialize MatrixData.
  74.  
  75.     2. Create your own assignment member function that includes
  76.         the same data allocation feature as the copy constructor.
  77.  
  78.         Matrix &operator =(const Matrix &mat)
  79.         {
  80.             // Assign xdim and ydim.
  81.                 ...
  82.             // Allocate a new buffer
  83.             // to hold the data to be copied from mat.
  84.                 ...
  85.             // Delete the array currently pointed to
  86.             // by MatrixData, and then set MatrixData
  87.             // to point to the new buffer.
  88.                 ...
  89.             return *this; // usual operator = convention.
  90.         }
  91.  
  92. : 
  93. : and I have another question related to this.  When I define
  94. : the Matrix M3 and assign it right away, is the Default Blank
  95. : Constructor called, THEN the Copy Constructor?  Or just the
  96. : copy constructor?  
  97.  
  98. Reviewing from above, the statement of the form
  99.  
  100.     Matrix M3 = M1 * M2;
  101.  
  102. IS a call to the copy constructor. And when a class is constructed, only 
  103. one of its constructors is called.
  104.  
  105. Also, say the copy Constructor was called.
  106. : When the new data is copied over, is the Destructor called 
  107. : before the copy constructor is used to copy the new data over?
  108.  
  109. No, afterwards, but again, the point is that in your latter scenario the
  110. copy constructor ISN'T called because you're assigning, not constructing.
  111. And default assignment wasn't creating a buffer for M3. 
  112.  
  113.